Formalizing Complex Event Processing Systems in Maude
نویسندگان
چکیده
منابع مشابه
Complex event processing in enterprise information systems
Enterprises have to be increasingly agile and responsive to address the challenges posed by the fast moving market. With the software architecture evolving into SOA, and the adoption of RFID, event processing can fit well in enterprise information systems in terms of facilitation of event aggregation into high level actionable information, and event response to improve the responsiveness. To ma...
متن کاملFormalizing ODP enterprise specifications in Maude
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibility of using Maude as a formal notation for writing and reasoning about RM-ODP enterprise specifications. Maude offers a simple, natural and accurate way of modeling the enterprise viewpoint concepts, which provides int...
متن کاملGeneric Architecture of Complex Event Processing Systems
In recent years, there has been a growing need for the use of active systems. Active systems perform automatic actions that may be reactive, such as responding to provided stimuli. They may also perform automatic actions that are proactive, such as predicting possible phenomena. While earliest active systems were directed to databases (Dayal U. et al. 1988, Widom & Ceri, 1996), a current major ...
متن کاملBiCEP - Benchmarking Complex Event Processing Systems
BiCEP is a new project being started at the University of Coimbra to benchmark Complex Event Processing systems (CEP). Although BiCEP is still in the early stages, we list here some of the design considerations that will drive our future work and some of the metrics we plan to include in the benchmark.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2018
ISSN: 2169-3536
DOI: 10.1109/access.2018.2831185